- partially ordered system
- частично упорядоченная система
English-Russian scientific dictionary. 2008.
partially ordered system
Смотреть что такое "partially ordered system" в других словарях:
Trusted system — In the security engineering subspecialty of computer science, a trusted system is a system that is relied upon to a specified extent to enforce a specified security policy. As such, a trusted system is one whose failure may break a specified… … Wikipedia
History of Scandinavian Airlines System before 1952 — Heritage Douglas DC 3 operating in SAS livery … Wikipedia
nervous system, human — ▪ anatomy Introduction system that conducts stimuli from sensory receptors to the brain and spinal cord and that conducts impulses back to other parts of the body. As with other higher vertebrates, the human nervous system has two main… … Universalium
Judicial system of the People's Republic of China — For the Ministry of Justice, see Ministry of Justice of the People s Republic of China. People s Republic of China This article is part of the series: Politics and government of … Wikipedia
digestive system, human — Introduction the system used in the human body for the process of digestion. The human digestive system consists primarily of the digestive tract (alimentary canal), or the series of structures and organs through which food and liquids pass… … Universalium
immune system — Anat. a diffuse, complex network of interacting cells, cell products, and cell forming tissues that protects the body from pathogens and other foreign substances, destroys infected and malignant cells, and removes cellular debris: the system… … Universalium
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Hausdorff maximal principle — In mathematics, the Hausdorff maximal principle, (also called the Hausdorff maximality theorem) formulated and proved by Felix Hausdorff in 1914, is an alternate and earlier formulation of Zorn s lemma and therefore also equivalent to the axiom… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Completeness (order theory) — In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset). A special use of the term refers to complete partial orders or complete lattices.… … Wikipedia
Closure operator — In mathematics, a closure operator on a set S is a function cl: P(S) → P(S) from the power set of S to itself which satisfies the following conditions for all sets X,Y ⊆ S. X ⊆ cl(X) (cl is extensive) X ⊆ Y implies cl(X) ⊆ cl(Y) (cl… … Wikipedia
